Project-Team Parkas
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Programming Languages for Cyber-Physical Systems
Efficient Compilation for Parallel and Distributed Computing
Validation and Proof of Compilers
Highlights of the Year
New Software and Platforms
Cmmtest
GCC
Heptagon
isl
Lem
Lucid Synchrone
Lucy-n
Ott
PPCG
ReactiveML
SundialsML
Zelus
New Results
Verified compilation of Lustre
Julia Subtyping Reconstructed
Comparing Designs for Gradual Types
Fast and reliable unwinding via DWARF tables
Sundials/ML: OCaml interface to Sundials Numeric Solvers
ZĂ©lus
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Compiling synchronous languages for multi-processor implementations
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2018
|
Presentation of the Project-Team PARKAS
|
PARKAS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Dissemination
Popularization
Internal or external Inria responsibilities
F. Zappa Nardelli is member of the CES of Inria.
Previous |
Home
| Next